Indicative Conditionals and Dynamic Epistemic Logic
نویسندگان
چکیده
Recent ideas about epistemic modals and indicative conditionals in formal semantics have significant overlap with ideas in modal logic and dynamic epistemic logic. The purpose of this paper is to show how greater interaction between formal semantics and dynamic epistemic logic in this area can be of mutual benefit. In one direction, we show how concepts and tools from modal logic and dynamic epistemic logic can be used to give a simple, complete axiomatization of Yalcin’s [16] semantic consequence relation for a language with epistemic modals and indicative conditionals. In the other direction, the formal semantics for indicative conditionals due to Kolodny and MacFarlane [9] gives rise to a new dynamic operator that is very natural from the point of view of dynamic epistemic logic, allowing succinct expression of dependence (as in dependence logic) or supervenience statements. We prove decidability for the logic with epistemic modals and Kolodny and MacFarlane’s indicative conditional via a full and faithful computable translation from their logic to the modal logic K45.
منابع مشابه
Wondering What Might Be
This paper explores the possibility of supplementing the suppositional view of indicative conditionals with a corresponding view of epistemic modals. The most striking feature of the suppositional view consists in its claim that indicative conditionals are to be evaluated by conditional probabilities. On the basis of a natural link between indicative conditionals and epistemic modals, a corresp...
متن کاملEpistemic Conditionals and Conditional Epistemics
There has been a murder in the mansion. There are, and we all know that this is so, only three suspects: the gardener, the driver, and the butler. We believe, and we have our reasons for so believing, that if the gardener did not do it, then the driver did. We share belief in this particular conditional, and this conditional is of a particular kind. It is what Quine calls an ‘‘ordinary indicati...
متن کاملProbability Operators
This is a study in the meaning of natural language probability operators, sentential operators such as probably and likely. We ask what sort of formal structure is required to model the logic and semantics of these operators. Along the way we investigate their deep connections to indicative conditionals and epistemic modals, probe their scalar structure, observe their sensitivity to contextuall...
متن کاملThe Logic of Dominance Reasoning
The logic of dominance arguments is analyzed using two different kinds of conditionals: indicative (epistemic) and subjunctive (counter-factual). It is shown that on the indicative interpretation an assumption of independence is needed for a dominance argument to go through. It is also shown that on the subjunctive interpretation no assumption of independence is needed once the standard premise...
متن کاملConditional Truth and Future Reference
This paper proposes a compositional model-theoretic account of the way the interpretation of indicative conditionals is determined and constrained by the temporal and modal expressions in their constituents. The main claim is that the tenses in both the antecedent and the consequent of an indicative conditional are interpreted in the same way as in isolation. This is controversial for the antec...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2017